Abstract model theory

Results: 937



#Item
141Computational learning theory / Machine learning / Artificial intelligence / Learning / Probability distribution / Theoretical computer science / Probably approximately correct learning / Statistical classification / Error Tolerance / Supervised learning

Noise-Tolerant Learning, the Parity Problem, and the Statistical Query Model AVRIM BLUM, ADAM KALAI, AND HAL WASSERMAN Carnegie Mellon University, Pittsburgh, Pennsylvania Abstract. We describe a slightly subexponential

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2011-03-02 19:24:24
142Networks / Network theory / Stochastic processes

A SPATIAL WEB GRAPH MODEL WITH LOCAL INFLUENCE REGIONS W. AIELLO, A. BONATO, C. COOPER, J. JANSSEN, AND P. PRAÃLAT Abstract. We present a new stochastic model for complex networks, based on a spatial embedding of the no

Add to Reading List

Source URL: www.mathstat.dal.ca

Language: English - Date: 2010-03-02 15:45:27
143

TYPES ARE WEAK ω-GROUPOIDS BENNO VAN DEN BERG AND RICHARD GARNER Abstract. We define a notion of weak ω-category internal to a model of Martin-L¨ of type theory, and prove that each type bears a canonical weak ω-cate

Add to Reading List

Source URL: staff.fnwi.uva.nl

Language: English - Date: 2011-03-21 06:42:22
    144Algebra / Abstract algebra / Mathematics / Semigroup theory / Monoid / Semigroup action / Semigroup / Symbol / Transformation semigroup / Semiautomaton / Filter / Representation theory

    MODEL-THEORETIC PROPERTIES OF FREE, PROJECTIVE AND FLAT S-ACTS VICTORIA GOULD, ALEXANDER MIKHALEV, EVGENY PALYUTIN, AND ALENA STEPANOVA Abstract. This is the second in a series of articles surveying the body of work on t

    Add to Reading List

    Source URL: www-users.york.ac.uk

    Language: English - Date: 2007-10-17 09:25:40
    145

    W-TYPES IN HOMOTOPY TYPE THEORY BENNO VAN DEN BERG1 AND IEKE MOERDIJK2 Abstract. We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition,

    Add to Reading List

    Source URL: staff.fnwi.uva.nl

    Language: English - Date: 2013-07-15 03:56:10
      146Graph theory / Mathematics / Discrete mathematics / Graph / Degree / Connectivity / Planar separator theorem / Centrality

      PROTEAN GRAPHS WITH A VARIETY OF RANKING SCHEMES JEANNETTE JANSSEN AND PAWEÃL PRAÃLAT Abstract. We introduce a new class of random graph models for complex realworld networks, based on the protean graph model by L Ã u

      Add to Reading List

      Source URL: www.mathstat.dal.ca

      Language: English - Date: 2010-03-02 15:58:00
      147Symbiosis / Systems theory / Ant colony optimization algorithms / Behavioral ecology / Superorganisms / Pheromone / Ant / Trail pheromone / Stigmergy / Artificial ants / Eusociality / Swarm behaviour

      A Pheromone-Based Utility Model for Collaborative Foraging Liviu Panait Department of Computer Science George Mason University Abstract

      Add to Reading List

      Source URL: cs.gmu.edu

      Language: English - Date: 2005-02-21 13:23:29
      148Mathematics / Algebra / Model theory / Abstract algebra / Universal algebra / Age / Structure / Quasigroup / Constructible universe / Ordinal number / Isomorphism / Presentation of a group

      A GEOMETRIC ZERO-ONE LAW ROBERT H. GILMAN, YURI GUREVICH, AND ALEXEI MIASNIKOV Abstract. Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X

      Add to Reading List

      Source URL: www.math.stevens.edu

      Language: English - Date: 2008-11-13 12:34:40
      149Formal languages / Combinatorics on words / Mathematics / Theoretical computer science / Model theory / Academia / Geometric group theory

      CONTEXT–FREE LANGUAGES OF SUB–EXPONENTIAL GROWTH MARTIN R. BRIDSON AND ROBERT H. GILMAN Abstract. There do not exist context–free languages of intermediate growth. The function γ whose value at each non–negativ

      Add to Reading List

      Source URL: www.math.stevens.edu

      Language: English - Date: 2009-06-24 06:22:13
      150

      Perceptual Control Theory: A Model for Understanding the Mechanisms and Phenomena of Control Abstract Perceptual Control Theory (PCT) provides a general theory of functioning for organisms. At the conceptual core of the

      Add to Reading List

      Source URL: www.pctweb.org

      Language: English - Date: 2014-05-16 04:48:55
        UPDATE